#include "tty.h"
#include "kernel.h"
#include "mm.h"
#include "idt.h"
#include "time.h"

long startup_time;

void kernel64_main(void)
{
    console_init();
    phy_memory_init();
    idt_init();
    time_init();

    asm volatile("sti;");
    while (true)
    {
        asm volatile("hlt;");
    }
    
}